Computer-automated design - PDFSEARCH.IO - Document Search Engine

Computer-automated design
Results: 82

#	Item
31	Refereed International Journal Papers (students: italics, post-docs: underlined) [1] Joneja, A., Chang, T.C., “Search Anatomy in Feature Based Automated Process Planning,” Journal of Design and Manufacturing, 1(1), 1 Add to Reading List Source URL: www.ielm.ust.hk Language: English - Date: 2013-09-05 09:38:03 Product lifecycle management Business Computer-aided engineering Engineering Computational geometry Geometric modeling Computer-integrated manufacturing Computer-aided technologies Computer-aided process planning Technology Computer-aided design Information technology management
32	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
33	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
34	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
35	Automated Tracing and Visualization of Software Security Structure and Properties Wenbin Fang Barton P. Miller James A. Kupsch Computer Sciences Department, University of Wisconsin Madison, WI, USA Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-08-31 13:33:29 Diagrams Software design YEd Visualization Object-oriented design Software Infographics Computing
36	Technical Reproduction Guidelines www.adcentre.com.au Delivery Requirements The delivery and receipt of advertising material via Quickcut and Adsend is an automated workflow. As a result material instructions are not ab Add to Reading List Source URL: adcentre.com.au Language: English - Date: 2013-02-20 22:47:08 Color space Office equipment Computer printers Color printing Printmaking Halftone CMYK color model Typeface Printer Printing Graphic design Media technology
37	DOC Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-03 05:49:55 Logic in computer science Computer science Automated theorem proving Acorn Computers Formal verification Model checking Automated reasoning ARM architecture CPU design Formal methods Applied mathematics Theoretical computer science
38	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
39	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
40	HOL Formalised: Formal Design of the Logical Kernel R.D. Arthan ICL, Eskdale Road, Winnersh, Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:07 Logic in computer science Formal methods HOL Automated theorem proving Metalogic DICT Theorem Theory Standard ML Logic Mathematics Theoretical computer science

UPDATE